BERNARDY, JEAN-PHILIPPE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Efficient parallel and incremental parsing of practical context-free languages

BERNARDY, JEAN-PHILIPPE, CLAESSEN, KOEN

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 757 KB

english, 2015

2

Linear Haskell: practical linearity in a higher-order polymorphic language

Bernardy, Jean-Philippe, Boespflug, Mathieu, Newton, Ryan R., Peyton Jones, Simon, Spiwack, Arnaud

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 409 KB

english, 2017

3

Proofs for free

BERNARDY, JEAN-PHILIPPE, JANSSON, PATRIK, PATERSON, ROSS

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 1.11 MB

english, 2012

4

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Efficient divide-and-conquer parsing of practical context-free languages

Bernardy, Jean-Philippe, Claessen, Koen

Year:

2013

Language:

english

File:

PDF, 588 KB

english, 2013

5

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Type-theory in color

Bernardy, Jean-Philippe, Guilhem, Moulin

Year:

2013

Language:

english

File:

PDF, 587 KB

english, 2013

6

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - A Computational Interpretation of Parametricity

Bernardy, Jean-Philippe, Moulin, Guilhem

Year:

2012

Language:

english

File:

PDF, 681 KB

english, 2012

7

Generic programming with C++ concepts and Haskell type classes—a comparison

BERNARDY, JEAN-PHILIPPE, JANSSON, PATRIK, ZALEWSKI, MARCIN, SCHUPP, SIBYLLE

Journal:

Journal of Functional Programming

Year:

2010

Language:

english

File:

PDF, 575 KB

english, 2010

8

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - Names for free

Bernardy, Jean-Philippe, Pouillard, Nicolas

Year:

2013

Language:

english

File:

PDF, 532 KB

english, 2013

9

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Yi

Bernardy, Jean-Philippe

Year:

2008

Language:

english

File:

PDF, 117 KB

english, 2008

10

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Parametricity and dependent types

Bernardy, Jean-Philippe, Jansson, Patrik, Paterson, Ross

Year:

2010

Language:

english

File:

PDF, 619 KB

english, 2010

11

Efficient divide-and-conquer parsing of practical context-free languages

Bernardy, Jean-Philippe, Claessen, Koen

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 588 KB

english, 2013

12

A Presheaf Model of Parametric Type Theory

Bernardy, Jean-Philippe, Coquand, Thierry, Moulin, Guilhem

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 271 KB

english, 2015

13

Yi

Bernardy, Jean-Philippe

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 117 KB

english, 2009

14

[ACM Press the ACM SIGPLAN workshop - Victoria, BC, Canada (2008.09.20-2008.09.20)] Proceedings of the ACM SIGPLAN workshop on Generic programming - WGP '08 - A comparison of c++ concepts and haskell type classes

Bernardy, Jean-Philippe, Jansson, Patrik, Zalewski, Marcin, Schupp, Sibylle, Priesnitz, Andreas

Year:

2008

Language:

english

File:

PDF, 280 KB

english, 2008

15

A pretty but not greedy printer (functional pearl)

Bernardy, Jean-Philippe

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 218 KB

english, 2017

16

[ACM Press the 2nd ACM SIGPLAN symposium - Edinburgh, Scotland (2009.09.03-2009.09.03)] Proceedings of the 2nd ACM SIGPLAN symposium on Haskell - Haskell '09 - Lazy functional incremental parsing

Bernardy, Jean-Philippe

Year:

2009

Language:

english

File:

PDF, 478 KB

english, 2009

17

Simple noninterference from parametricity

Algehed, Maximilian, Bernardy, Jean-Philippe

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 358 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски